namespace UNREACH_GEN {
	extern void exit(int);
	int stub();

	namespace bad {
		int demo_return_or_exit(int t) {
			if (t > 0) {
				return t + 1;
			}
			else {
				exit(22);
			}
			stub();
			return t + 3;
		}
	}

	namespace good {
		int demo_infeasible_if(int t) {
			if (t > 0) {
				if (t == 0) {
					stub(); // <== unreachable
				}
			}
			return t - 1;
		}
	}
}